Laws of Parallel Synchronised Termination
نویسنده
چکیده
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronously. This paper studies the inequational partial correctness properties of the combination of sequential and parallel composition operators for Gamma programs, provable from a particular compositional semantics (Brookes-style transition traces) and shows that the “residual program” inputoutput laws originally described by Hankin et al. are also verified by the model.
منابع مشابه
Synchronous Parallelism Between Di erent Grammar Formalisms
Coordination has posed a problem in TAG-related formalisms, with a recent proposal to solve it suggesting that constituency and dependency be treated separately within a synchronously parallel formalism. This leads tòtangled' trees| graphs|and it is not clear how these structures satisfy the deenition of syn-chronised TAGs. Naive alternatives which do not result in tangled trees, however, do no...
متن کاملA new thesis concerning synchronised parallel computing - simplified parallel ASM thesis
Article history: Received 10 April 2015 Received in revised form 9 August 2016 Accepted 16 August 2016 Available online 24 August 2016 Communicated by D. Sannella
متن کاملField Programmable Gate Array Implementation of Active Control Laws for Multi-mode Vibration Damping
This paper investigate the possibility and effectiveness of multi-mode vibration control of a plate through real-time FPGA (Field Programmable Gate Array) implementation. This type of embedded system offers true parallel and high throughput computation abilities. The control object is an aluminum panel, clamped to a Perspex box’s upper side. Two types of control laws are studied. The first belo...
متن کاملApplying semi-synchronised task farming to large-scale computer vision problems
Distributed compute clusters allow the computing power of heterogeneous (and homogeneous) resources to be utilised to solve large-scale science and engineering problems. One class of problem that has attractive scalability properties, and is therefore often implemented using compute clusters, is task farming (or parameter sweep) applications. A typical characteristic of such applications is tha...
متن کاملSynchronised Environment for Operator Awareness over Intermittent Telemetry Links
Vehicles have a major problem in terms of communication due to physical constraints, power constraints and mission covertness. This results in periods of time where it is not possible to make direct observations. There are therefore requirements to provide an operator with status information to give input for tasks / planning systems and for analysis of vehicle data. In order to produce a syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993